#include <ctype.h>
#include <kernel.h>
#include <timer.h>

extern int int_base_num;

unsigned int volatile systick;

static void timer_int(int int_num)
{
    systick++;
}

void timer_init()
{
    install_vitual_int(int_base_num + TIMER_INIT_ISR, (int)timer_int);
}
